-
1 аксиома присваивания
Большой англо-русский и русско-английский словарь > аксиома присваивания
-
2 axiom of assignment
Большой англо-русский и русско-английский словарь > axiom of assignment
-
3 axiom of assignment
English-Russian dictionary of computer science and programming > axiom of assignment
-
4 axiom of assignment
English-Russian information technology > axiom of assignment
-
5 reducibility axiom
-
6 equilibrium axiom
The English-Russian dictionary general scientific > equilibrium axiom
-
7 axiom of assignment
-
8 axiom
n аксиомаСинонимический ряд:1. assumption (noun) assumption; postulate; precept; premise2. fundamental principle (noun) basis; conception; fundamental principle; philosophy; theory; truth3. law (noun) fundamental; law; principium; principle; theorem; universal4. maxim (noun) aphorism; apothegm; brocard; dictum; gnome; maxim; moral; rule; truism5. self-evident truth (noun) adage; clichй; platitude; proverb; saying; self-evident truth -
9 single assignment
1. одноразоваое присваивание2. одноразовое присваивание -
10 address assignment
-
11 single assignment
English-Russian dictionary of Information technology > single assignment
-
12 name-address assignment
-
13 value assignment
-
14 value assignment
English-Russian big polytechnic dictionary > value assignment
-
15 axiom of assignment
Вычислительная техника: аксиома присваивания
См. также в других словарях:
Логика Хоара — (англ. Hoare logic, также Floyd Hoare logic, или Hoare rules) формальная система с набором логических правил, предназначенных для доказательства корректности компьютерных программ. Была предложена в 1969 году английским учёным в… … Википедия